Liên kết ngoài Robin_Milner

Liên kết ngoài Robin_Milner

Cambridge
An interview with Robin Milner Lưu trữ 2005-01-09 tại Wayback Machine, Martin Berger
A review of Proof, Language, and Interaction Lưu trữ 2005-02-04 tại Wayback Machine
Is informatic a science?, ENS

x t s Những người nhận Giải A. M. Turing
1960s	Alan Perlis (1966) Maurice Vincent Wilkes (1967) Richard Hamming (1968) Marvin Minsky (1969)
1970s	James H. Wilkinson (1970) John McCarthy (1971) Edsger W. Dijkstra (1972) Charles Bachman (1973) Donald Knuth (1974) Allen Newell / Herbert A. Simon (1975) Michael O. Rabin / Dana Scott (1976) John Backus (1977) Robert W. Floyd (1978) Kenneth E. Iverson (1979)
1980s	Tony Hoare (1980) Edgar F. Codd (1981) Stephen Cook (1982) Ken Thompson / Dennis Ritchie (1983) Niklaus Wirth (1984) Richard Karp (1985) John Hopcroft / Robert Tarjan (1986) John Cocke (1987) Ivan Sutherland (1988) William Kahan (1989)
1990s	Fernando J. Corbató (1990) Robin Milner (1991) Butler Lampson (1992) Juris Hartmanis / Richard E. Stearns (1993) Edward Feigenbaum / Raj Reddy (1994) Manuel Blum (1995) Amir Pnueli (1996) Douglas Engelbart (1997) Jim Gray (1998) Fred Brooks (1999)
2000s	Andrew Yao (2000) Ole-Johan Dahl / Kristen Nygaard (2001) Ron Rivest / Adi Shamir / Leonard Adleman (2002) Alan Kay (2003) Vint Cerf / Bob Kahn (2004) Peter Naur (2005) Frances E. Allen (2006) Edmund M. Clarke / E. Allen Emerson / Joseph Sifakis (2007) Barbara Liskov (2008) Charles P. Thacker (2009)
Thập niên 2010	Leslie G. Valiant (2010) Judea Pearl (2011) Shafi Goldwasser / Silvio Micali (2012) Leslie Lamport (2013) Michael Stonebraker (2014) Martin Hellman / Whitfield Diffie (2015) Tim Berners-Lee (2016) John L. Hennessy / David Patterson (2017) Yoshua Bengio / Geoffrey Hinton / Yann LeCun (2018) Ed Catmull/ Pat Hanrahan (2019)
Thập niên 2020	Alfred Aho; Jeffrey Ullman (2020)

Liên quan

Robin Robin van Persie Robinho Robin Gosens Robin (truyện tranh) Robinson Crusoe Robin Williams Robin Hood Robinsons Galleria Robin Söderling

Tài liệu tham khảo

WikiPedia: Robin_Milner http://www.fairdene.com/picalculus/robinmilner.htm... http://north.ecc.edu/alsani/ct01(1-4)/msg00041.htm... http://mitpress.mit.edu/catalog/item/default.asp?t... http://www.diffusion.ens.fr/data/audio/2007_12_10_... http://www.cl.cam.ac.uk/users/rm135/ http://www.dcs.qmul.ac.uk/~martinb/interviews/miln... http://www.royalsoced.org.uk/rse_press/2004/medals... https://web.archive.org/web/20050109091702/http://... https://web.archive.org/web/20050204172933/http://... https://web.archive.org/web/20050913044150/http://...